Trefferliste "Automated Reasoning" - alle Bücher

Ihre Suche nach "Automated Reasoning" (Bücher) ergab 3 Treffer.

Model Checking Software

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern

Advances in Automation, Mechanical and Design Engineering

This book presents the proceedings of the 2022 3rd International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Beijing, China, on December 16-18, 2022, and organized by the H…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 240,94* Aktueller Preis: EUR 240,94

Artikel merken

In den Warenkorb

Menge ändern

Sorin G. Gal, Constantin P. Niculescu

Choquet Integrals and Monotone Sublinear Operators

Mainly addressed to researchers in the fields of generalized measure theory, nonlinear integrals, nonlinear functional analysis, and nonlinear approximation theory, this book is based mainly on the author…

lieferbar ab 13.1.2026.

Buch

EUR 60,23* Aktueller Preis: EUR 60,23

Artikel merken

In den Warenkorb

Menge ändern